Compilation Principle of a Specification Language Dedicated to Signal Processing
نویسندگان
چکیده
Array-OL, developed by Thomson Marconi Sonar, is a programming language dedicated to signal processing. An Array-OL program specifies the dependencies between array elements produced and consumed by tasks. In particular, temporal dependencies may be specified by referencing elements that belong to an infinite dimension of an array. A basic compilation strategy of Array-OL on a workstation has been defined. This basic compilation does not allow the generation of efficient code for any Array-OL application; specifically those defining infinite arrays. We propose to transform such applications to hierarchical Array-OL applications that may be compiled with Array-OL basic strategy. We introduce a formal representation of Array-OL applications, which is a relation between points of ZZ spaces; code transformations are applied at this level. In this paper we show how the transformation process is used during the compilation phase of a representative application.
منابع مشابه
Principle of a Speci cationLanguage Dedicated to Signal
Array-OL is a programming language dedicated to signal processing developed by Thomson Marconi Sonar. An Array-OL program speciies the dependences between array elements produced and consumed by tasks. In particular, temporal dependences are speciied by referencing elements that belong to an innnite dimension of an array. A basic compilation strategy of Array-OL on a workstation has been deened...
متن کاملCompilation of unified physical models for efficient sound synthesis
This paper describes a systematic approach to specification and compilation of different physical modeling schemes particularly for sound synthesis studies. First we formulate theoretically a unified way of constructing physical interaction models which include elements that use both wave variables and Kirchhoff variables. These elements can be applied to build 1-D and multidimensional structur...
متن کاملGUBS, a behavior-based language for open system dedicated to synthetic biology
In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems. gubs is a rule-based declarative language. By contrast to a closed system, a program is always a partial description of the behavior of the system. The semantics of the languag...
متن کاملExperimental and numerical study of delamination detection in a WGF/epoxy composite plate using ultrasonic guided waves and signal processing tools
Reliable damage detection is one of the most critical tasks in composite plate structures. Ultrasonic guided waves are acknowledged as an effective way of structural health mo...
متن کاملInference Compilation and Universal Probabilistic Programming
We introduce a method for using deep neural networks to amortize the cost of inference in models from the family induced by universal probabilistic programming languages, establishing a framework that combines the strengths of probabilistic programming and deep learning methods. We call what we do “compilation of inference” because our method transforms a denotational specification of an infere...
متن کامل